On the Semantics of Object-Oriented Data Structures and Path Expressions
نویسندگان
چکیده
UML/OCL is perceived as the de-facto standard for specifying object-oriented models in general and data models in particular. Since recently, all data types of UML/OCL comprise two different exception elements: invalid (“bottom” in semantics terminology) and null (for “non-existing element”). This has far-reaching consequences on both the logical and algebraic properties of OCL expressions as well as the path expressions over object-oriented data structures, i. e., class models. In this paper, we present a formal semantics for object-oriented data models in which all data types and, thus, all class attributes and path expressions, support invalid and null. Based on this formal semantics, we present a set of OCL test cases that can be used for evaluating the support of null and invalid in OCL tools.
منابع مشابه
Declarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملPOUR PDF - copie 2
UML/OCL is perceived as the de-facto standard for specifying object-oriented models in general and data models in particular. Since recently, all data types of UML/OCL comprise two different exception elements: invalid (“bottom” in semantics terminology) and null (for “non-existing element”). This has far-reaching consequences on both the logical and algebraic properties of OCL expressions as w...
متن کاملVisualization of Path Expressions in a Virtual Object-Oriented Database Query Language
Although path expressions in object-oriented query languages have materialized the capability of concisely manipulating the nested structures, their presence in query expressions require complex semantic considerations. However, none of currently existing visual query languages models such complex query expressions in a concise and intuitive way partly due to either the lack of well-de ned synt...
متن کاملNavigating Through Multiple Temporal Granularity Objects
Managing and relating temporal information at different time units is an important issue in many applications and research areas, among them temporal object-oriented databases. Due to the semantic richness of the objectoriented data model, the introduction of multiple temporal granularities in such a model poses several interesting issues. In particular, object-oriented query languages provide ...
متن کاملReasoning about Assignments in Recursive Data Structures
This paper presents a framework to reason about the e ects of assignments in recursive data structures. We de ne an operational semantics for a core language based on Meyer's ideas for a semantics for the object-oriented language Ei el. A series of eld accesses, e.g. f1 • f2 • . . . • fn, can be seen as a path on the heap. We provide rules that describe how these multidot expressions are a ecte...
متن کامل